неполнота

  • 161МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …

    Философская энциклопедия

  • 162САРТР — (Sartre) Жан Поль (1905 1980) фр. философ, писатель, литературный критик, политический публицист. Пик мировой известности С. приходится на 1940 1950 е гг., когда он становится признанным лидером не только фр., но и всех европейских «прогрессивно… …

    Философская энциклопедия

  • 163ТВОРЧЕСТВО — деятельность, порождающая новые ценности, идеи, самого человека как творца. В современной научной литературе, посвященной этой проблеме, прослеживается очевидное стремление исследовать конкретные виды Т. (в науке, технике, искусстве), его… …

    Философская энциклопедия

  • 164ГУГО СЕН-ВИКТОРСКИЙ —         (Hugo de Saint Victor) (ок. 1096 11.2.1141, Париж), ср.век. философ и теолог, представитель схоластики, глава сеи викторской школы (с 1138). Отличался широтой умств. интересов (согласно своему принципу «учись всему, и ты потом увидишь,… …

    Философская энциклопедия

  • 165ТОЖДЕСТВО —         понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… …

    Философская энциклопедия

  • 166АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …

    Философская энциклопедия

  • 167МОЛОДЁЖЬ —         социально Демографич. группа, выделяемая на основе совокупности возрастных. характеристик, особенностей социального положения и обусловленных тем и другим социальнопсихологич. свойств. Молодость как определ. фаза, этап жизненного цикла… …

    Философская энциклопедия

  • 168ОТНОСИТЕЛЬНАЯ ИСТИНА —         см. в ст. Истина. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ОТНОСИТЕЛЬНАЯ ИСТИНА …

    Философская энциклопедия

  • 169МАТРИЦА ПЛОТНОСТИ — (статистический оператор), оператор, при помощи к рого можно вычислить ср. значение любой физ. величины в квант. статистич. механике и, в частном случае, в квант. механике. Термин «М. п.» связан с тем, что статистич. оператор задаётся обычно в… …

    Физическая энциклопедия

  • 170МЕЙСНЕРА ЭФФЕКТ — полное вытеснение магн. поля из металлич. проводника, когда последний становится сверхпроводящим (при понижении темп ры и напряжённости магн. поля ниже критич. значения Нк). М. э. впервые наблюдался нем. физиками В. Мейснером (W. Meissner) и Р.… …

    Физическая энциклопедия

  • 171СПЕКТРОМЕТРИЯ — область физики и техники, разрабатывающая теорию и методы измерении спектров. В оптич. диапазоне длин волн С. объединяет разделы прикладной спектроскопии, метрологии и теории линейных систем. С. служит для обоснования выбора принципиальных схем… …

    Физическая энциклопедия

  • 172ГАЗОВЫЙ АНАЛИЗ — качеств. обнаружение и количеств. определение компонентов газовых смесей. Проводится как с помощью автоматич. газоанализаторов, так и по лаб. методикам. Как правило, методы Г. а. основаны на измерении физ. параметров (св в) среды (электрич.… …

    Химическая энциклопедия

  • 173АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …

    Математическая энциклопедия

  • 174ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… …

    Математическая энциклопедия

  • 175ДИФФЕРЕНЦИАЛЬНЫЕ ИГРЫ — раздел математич. теории управления (см. Автоматического управления теория), в к ром изучается управление в конфликтных ситуациях. Теория Д. и. примыкает также к общей игр теории. Первые работы по теории Д. и. появились в сер. 50 х гг. 20 в.… …

    Математическая энциклопедия

  • 176ИНДУКЦИИ АКСИОМА — утверждение о справедливости для всех хнек рого предиката Р(х), определенного на множестве всех неотрицательных целых чисел, если выполняются следующие условия: 1) справедливо Р(0),2) для любого х, если верно Р(х), то верно и P(x+1). И. а.… …

    Математическая энциклопедия

  • 177ПОЛНОТА — в математической логике свойство, близкое к понятию максимального элемента в частично упорядоченном множестве. Термин П. в математич. логике употребляется в контекстах вида: полное исчисление, полная теория (или полное множество аксиом), w полная …

    Математическая энциклопедия

  • 178СИНТЕЗА ЗАДАЧИ — совокупность задач, концентрирующихся вокруг проблемы построения управляющей системы (у. с.), имеющей предписанное функционирование. У. с. строится из элементов, к рые обычно сами являются простыми у. с. При синтезе заранее заданы состав… …

    Математическая энциклопедия

  • 179филогенез — [нэ], а; м. [от греч. phylon род, племя и genēs происхождение, возникновение] Биол. Процесс развития органического мира в целом или отдельных его форм с момента возникновения жизни. Ф. клетки. ◁ Филогенетический, ая, ое. Ф. анализ. * * *… …

    Энциклопедический словарь

  • 180САЛЬТАЦИИ — (лат. saltatotius, от salto скачу, прыгаю), внезапные скачкообразные преобразования организмов, приводящие к появлению новых крупных таксонов (отряд, класс, тип). История вопроса Французский зоолог Э. Жоффруа Сент Илер (см. ЖОФФРУА СЕНТ ИЛЕР),… …

    Энциклопедический словарь